typedef Foo = String & {}
